A Calculus for Concurrent Update
نویسنده
چکیده
This paper introduces a calculus for concurrent update (CCU) that is used to specify distributed objects. The calculus permits updates to be effected immediately at each site − no central server, locking, token passing, rollback, or other form of serialization is enforced. Notice of each update at each site is transmitted to every other site, where a corresponding update is effected. Unless special provisions are taken, network transmission delay may cause corresponding updates to be effected at different sites in different orders, potentially rendering them meaningless or inconsistent. CCU avoids this eventuality: transformations are applied to corresponding updates as necessary to preserve overall meaning and consistency.
منابع مشابه
The Update Calculus (Extended Abstract)
In the update calculus concurrent processes can perform update actions with side eeects, and a scoping operator can be used to control the extent of the update. In this way it incorporates fundamental concepts both from imperative languages or concurrent constraints formalisms , and from functional formalisms such as the-and-calculi. Structurally it is similar to but simpler than the-calculus; ...
متن کاملCapturing Database Dynamics by Deferred Updates
In this paper we address the explicit construction of complex update programs from basic update operations like insert tuple and delete tuple The main contribution is the de nition of a semantics that is based on sets of deferred update requests We propose a logic in which besides the concurrent and sequential composition of update operations also set oriented updates can be expressed
متن کاملThe Concurrent, Continuous Fluent Calculus
The Fluent Calculus belongs to the established predicate calculus formalisms for reasoning about actions. Its underlying concept of state update axioms provides a solution to the basic representational and inferential Frame Problems in pure first-order logic. Extending a recent research result, we present a Fluent Calculus to reason about domains involving continuous change and where actions oc...
متن کاملAnalysis of Database Production Rules by Process Algebra
The purpose of this research is to analyze production rules with coupling modes in active databases and to exploit an assistant system for rule programming. Each production rule is a specification including an event, a condition, and an action. The action is automatically executed whenever the event occurs and the condition is satisfied. Coupling modes are useful to control execution order of t...
متن کاملObject Types against Races
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurrent object calculus. We enrich that calculus with a form of dependent object types that enables us to verify that threads invoke and update methods only after acquiring appropriate locks. We establish that well-typed pr...
متن کامل